N'5 as an Extension of G'3
نویسندگان
چکیده
We present an extension of GLukG, a logic that was introduced in [6] as a three-valued logic under the name of G3. GLukG is a paraconsistent logic defined in terms of 15 axioms, which serves as the formalism to define the p-stable semantics of logic programming. We introduce a new axiomatic system, N-GLukG, a paraconsistent logic that possesses strong negation. We use the 5-valued logic N ′ 5, which is a conservative extension of GLukG, to help us to prove that N-GLukG is an extension of GLukG. N-GLukG can be used as the formalism to define the p-stable semantics as well as the stable semantics.
منابع مشابه
A Novel Initiator of [5-(benzyloxy)-4-oxo-4H-pyran-2-yl]methyl-2-bromo-2-methylpropanoateas in Atom Transfer Radical Polymerization of Styrene and Methyl Methacrylate
A novel nano-initiator containing kojic acid moiety, [5-(benzyloxy)-4-oxo-4H-pyran-2-yl)methyl-2-bromo-2-methylpropanoate was synthesized by the reaction of 5-(benzyloxy)-2-(hydroxymethyl)-4H-pyran-4-one with 2-bromoisobutyryl bromide in triethylamine and used as initiator in the atom transfer radical polymerization (ATRP) of styrene and methyl methacrylate in the presence of Cu(0)/CuCl2and N,N...
متن کاملLogical s-t Min-Cut Problem: An Extension to the Classic s-t Min-Cut Problem
Let $G$ be a weighted digraph, $s$ and $t$ be two vertices of $G$, and $t$ is reachable from $s$. The logical $s$-$t$ min-cut (LSTMC) problem states how $t$ can be made unreachable from $s$ by removal of some edges of $G$ where (a) the sum of weights of the removed edges is minimum and (b) all outgoing edges of any vertex of $G$ cannot be removed together. If we ignore the second constraint, ca...
متن کاملGroups in which every subgroup has finite index in its Frattini closure
In 1970, Menegazzo [Gruppi nei quali ogni sottogruppo e intersezione di sottogruppi massimali, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur. 48 (1970), 559--562.] gave a complete description of the structure of soluble $IM$-groups, i.e., groups in which every subgroup can be obtained as intersection of maximal subgroups. A group $G$ is said to have the $FM$...
متن کاملPrimary culture of ovarian follicular cells of Sterlet, Acipenser ruthenus to develop an in vitro system
The aim of the present study was to develop an in vitro system for functional investigation of ovarian follicular cells in Sterlet, Acipenser ruthenus. Oocytes for the primary culture were obtained from the ovaries of a 6 years old Sterlet 729 g in weight and 47 cm in total length. The oocytes were in advanced vitellogenesis stage (PI >10). A part of the ovary (containing about 300 follicles) w...
متن کاملON RELATIVE CENTRAL EXTENSIONS AND COVERING PAIRS
Let (G;N) be a pair of groups. In this article, first we con-struct a relative central extension for the pair (G;N) such that specialtypes of covering pair of (G;N) are homomorphic image of it. Second, weshow that every perfect pair admits at least one covering pair. Finally,among extending some properties of perfect groups to perfect pairs, wecharacterize covering pairs of a perfect pair (G;N)...
متن کامل